$\forall$${\it the\_es}$:ES, $e$, ${\it e'}$:E. ($e$ $<$loc ${\it e'}$) $\Leftrightarrow$ $\neg$first(${\it e'}$) \& $e$ $=$ pred(${\it e'}$) $\vee$ ($e$ $<$loc pred(${\it e'}$))